1. Belief-based Stability in Coalition Formation with Uncertainty :
Author: by Chi-kong Chan, Ho-fung Leung.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Algebra -- Data processing.,Artificial intelligence.,Computer science.
Classification :
QA76
.
76
.
I58
B934
2013
2. Formal Grammar :
Author: edited by Philippe Groote, Mark-Jan Nederhof.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Algebra -- Data processing.,Artificial intelligence.,Computer science.
3. Resolution Proof Systems :
Author: by Zbigniew Stachniak.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Algebra -- Data processing.,Artificial intelligence.,Computer science.
Classification :
QA76
.
9
.
A96
B993
1996
